A Compositional Framework for Scientific Model Augmentation
نویسندگان
چکیده
منابع مشابه
A New Model for Location-Allocation Problem within Queuing Framework
This paper proposes a bi-objective model for the facility location problem under a congestion system. The idea of the model is motivated by applications of locating servers in bank automated teller machines (ATMS), communication networks, and so on. This model can be specifically considered for situations in which fixed service facilities are congested by stochastic demand within queueing frame...
متن کاملDeveloping a Compositional Reservoir Model for Investigating the Effect of Interfacial Tension on Oil Recovery
In this paper, a simplified formulation for compositional reservoir simulator is presented. These types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. The procedure for solving compositional model equations is completely described. For equilibrium calculation, property estimation Peng Robinson equation of state is used. This equation ...
متن کاملA Compositional Framework for Mining Longest Ranges
This paper proposes a compositional framework for mining interesting range information from huge databases, in which a domain specific query language is provided to specify the range of interest, and a general algorithm is given to mine the range specified in this language quickly. A wide class of longest range problems, including the intensively studied optimized support range problem [FMMT96]...
متن کاملA Runtime Framework for Adaptive Compositional Modeling
The rapid emergence of embedded devices and sensor networks that frequently exchange object-level images foretells an increasing reliance on object-level systems. Additionally, nearly all computing systems, including control systems, enterprise applications, scientific codes and dynamic libraries operate eventually at the object code level. Studying adaptivity and runtime composition issues in ...
متن کاملA Compositional Framework for Preference-Aware Agents
A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model where every module in the model specifies the behavior of a (computational or physical) component or the interaction between different components. We propose a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.323.12